bitkeeper revision 1.794.1.2 (405c04d6Te1dnE4_TSY6s5uw5cW0hA)

bug fix

diff --git a/xen/common/shadow.c b/xen/common/shadow.c
index 7756b7dada57632f38d61a3313e0b2d1e54143eb..f43968018f8ff104d6711aeb920ec93ccbfc472f 100644 (file)
--- a/xen/common/shadow.c
+++ b/xen/common/shadow.c
@@ -387,7 +387,7 @@ pa,gpte,prev_spfn, prev_spl1e);
        spl1e[(pa & ~PAGE_MASK) / sizeof(l1_pgentry_t) ] = 
                mk_l1_pgentry( spte );
 
-       unmap_domain_mem( (void *) spl1e );
+       //unmap_domain_mem( (void *) spl1e );
 }
 
 void shadow_l2_normal_pt_update( unsigned long pa, unsigned long gpte )